[tail] [up]

2.2.1 Integrals 1 to 78

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.

Problem 1

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

415 415 387 959 441 405 0 1533 2500

N.S.

1 1.00 0.93 2.31 1.06 0.98 0.00 3.69 6.02

time (sec)

N/A 0.457 1.288 0.118 0.525 1.456 0.000 1.805 47.789

Problem 2

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

286 286 279 652 307 280 0 1059 2500

N.S.

1 1.00 0.98 2.28 1.07 0.98 0.00 3.70 8.74

time (sec)

N/A 0.352 0.922 0.112 0.564 1.184 0.000 1.783 36.028

Problem 3

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

168 170 173 377 180 174 0 637 736

N.S.

1 1.01 1.03 2.24 1.07 1.04 0.00 3.79 4.38

time (sec)

N/A 0.158 0.613 0.109 0.483 0.880 0.000 1.489 12.065

Problem 4

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

95 95 107 185 93 95 1137 284 361

N.S.

1 1.00 1.13 1.95 0.98 1.00 11.97 2.99 3.80

time (sec)

N/A 0.046 0.276 0.107 0.544 1.172 223.065 0.837 7.209

Problem 5

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B C F(-2) A F F(-2) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

122 122 559 373 0 457 0 0 2500

N.S.

1 1.00 4.58 3.06 0.00 3.75 0.00 0.00 20.49

time (sec)

N/A 0.201 2.207 0.139 0.000 8.241 0.000 0.000 25.801

Problem 6

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F(-2) B F F(-2) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

163 163 211 899 0 969 0 0 2500

N.S.

1 1.00 1.29 5.52 0.00 5.94 0.00 0.00 15.34

time (sec)

N/A 0.213 10.293 0.112 0.000 32.090 0.000 0.000 52.173

Problem 7

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F(-2) B F(-1) F(-2) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

248 248 273 1449 0 1502 0 0 2500

N.S.

1 1.00 1.10 5.84 0.00 6.06 0.00 0.00 10.08

time (sec)

N/A 0.233 10.332 0.110 0.000 1.199 0.000 0.000 59.182

Problem 8

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

340 340 273 643 353 285 0 373 2500

N.S.

1 1.00 0.80 1.89 1.04 0.84 0.00 1.10 7.35

time (sec)

N/A 0.414 1.008 0.116 0.490 0.769 0.000 1.356 35.295

Problem 9

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

228 228 195 423 232 193 0 234 1732

N.S.

1 1.00 0.86 1.86 1.02 0.85 0.00 1.03 7.60

time (sec)

N/A 0.320 0.654 0.118 0.552 1.257 0.000 2.112 33.636

Problem 10

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

130 133 120 235 135 117 0 117 492

N.S.

1 1.02 0.92 1.81 1.04 0.90 0.00 0.90 3.78

time (sec)

N/A 0.145 0.460 0.118 0.485 1.404 0.000 1.702 12.857

Problem 11

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

63 63 82 117 57 67 0 60 232

N.S.

1 1.00 1.30 1.86 0.90 1.06 0.00 0.95 3.68

time (sec)

N/A 0.040 0.257 0.115 0.525 0.819 0.000 2.373 7.525

Problem 12

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B C F(-2) A F F(-2) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

122 122 559 373 0 457 0 0 2500

N.S.

1 1.00 4.58 3.06 0.00 3.75 0.00 0.00 20.49

time (sec)

N/A 0.179 0.401 0.000 0.000 7.260 0.000 0.000 0.005

Problem 13

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F(-2) B F F(-2) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

163 163 211 899 0 969 0 0 2500

N.S.

1 1.00 1.29 5.52 0.00 5.94 0.00 0.00 15.34

time (sec)

N/A 0.187 10.289 0.000 0.000 40.515 0.000 0.000 0.008

Problem 14

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F(-2) B F(-1) F(-2) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

248 248 273 1449 0 1502 0 0 2500

N.S.

1 1.00 1.10 5.84 0.00 6.06 0.00 0.00 10.08

time (sec)

N/A 0.208 10.167 0.000 0.000 1.212 0.000 0.000 0.007

Problem 15

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

79 79 89 139 87 78 0 76 244

N.S.

1 1.00 1.13 1.76 1.10 0.99 0.00 0.96 3.09

time (sec)

N/A 0.097 0.027 0.001 0.610 0.670 0.000 0.849 7.606

Problem 16

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

63 63 82 117 57 67 0 60 232

N.S.

1 1.00 1.30 1.86 0.90 1.06 0.00 0.95 3.68

time (sec)

N/A 0.040 0.026 0.000 0.578 0.965 0.000 1.454 7.411

Problem 17

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A C F(-2) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

48 48 93 96 57 81 245 0 122

N.S.

1 1.00 1.94 2.00 1.19 1.69 5.10 0.00 2.54

time (sec)

N/A 0.114 0.035 0.000 0.577 1.373 43.363 0.000 4.331

Problem 18

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A C F(-2) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

48 48 93 97 57 84 221 0 114

N.S.

1 1.00 1.94 2.02 1.19 1.75 4.60 0.00 2.38

time (sec)

N/A 0.108 0.032 0.000 0.481 1.213 41.012 0.000 4.266

Problem 19

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A F(-1) F(-2) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

71 71 69 108 98 65 0 0 312

N.S.

1 1.00 0.97 1.52 1.38 0.92 0.00 0.00 4.39

time (sec)

N/A 0.114 0.021 0.000 0.496 1.101 0.000 0.000 6.304

Problem 20

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F B F(-1)

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

591 584 402 1370 581 997 0 2665 -1

N.S.

1 0.99 0.68 2.32 0.98 1.69 0.00 4.51 -0.00

time (sec)

N/A 0.979 1.178 0.115 0.513 1.443 0.000 2.399 0.000

Problem 21

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F B F(-1)

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

451 450 286 933 417 703 0 1868 -1

N.S.

1 1.00 0.63 2.07 0.92 1.56 0.00 4.14 -0.00

time (sec)

N/A 0.638 0.810 0.108 0.520 1.446 0.000 1.540 0.000

Problem 22

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

300 297 183 554 254 449 0 1148 1765

N.S.

1 0.99 0.61 1.85 0.85 1.50 0.00 3.83 5.88

time (sec)

N/A 0.285 0.504 0.104 0.555 1.458 0.000 1.060 30.577

Problem 23

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

221 221 123 269 140 265 0 527 876

N.S.

1 1.00 0.56 1.22 0.63 1.20 0.00 2.38 3.96

time (sec)

N/A 0.099 0.239 0.113 0.548 0.770 0.000 1.064 16.517

Problem 24

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) F(-1) F F(-2) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

278 278 178 487 0 0 0 0 2500

N.S.

1 1.00 0.64 1.75 0.00 0.00 0.00 0.00 8.99

time (sec)

N/A 0.320 0.505 0.128 0.000 0.000 0.000 0.000 44.562

Problem 25

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) F(-1) F A F(-1)

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

322 322 229 1166 0 0 0 523 -1

N.S.

1 1.00 0.71 3.62 0.00 0.00 0.00 1.62 -0.00

time (sec)

N/A 0.377 0.969 0.108 0.000 0.000 0.000 1.341 0.000

Problem 26

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) A F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

363 361 252 1794 0 1347 0 1410 2500

N.S.

1 0.99 0.69 4.94 0.00 3.71 0.00 3.88 6.89

time (sec)

N/A 0.449 1.437 0.106 0.000 61.830 0.000 2.541 86.666

Problem 27

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

501 496 283 913 469 698 0 571 2500

N.S.

1 0.99 0.56 1.82 0.94 1.39 0.00 1.14 4.99

time (sec)

N/A 0.819 0.801 0.108 0.529 1.582 0.000 1.389 161.428

Problem 28

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

368 369 200 599 318 484 0 366 2500

N.S.

1 1.00 0.54 1.63 0.86 1.32 0.00 0.99 6.79

time (sec)

N/A 0.569 0.489 0.104 0.505 1.321 0.000 1.010 81.648

Problem 29

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

246 249 128 343 193 308 0 199 1011

N.S.

1 1.01 0.52 1.39 0.78 1.25 0.00 0.81 4.11

time (sec)

N/A 0.261 0.270 0.109 0.511 0.976 0.000 0.705 30.743

Problem 30

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

177 177 90 168 88 196 0 106 489

N.S.

1 1.00 0.51 0.95 0.50 1.11 0.00 0.60 2.76

time (sec)

N/A 0.085 0.139 0.104 0.486 1.584 0.000 0.630 14.952

Problem 31

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) F(-1) F F(-2) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

278 278 178 487 0 0 0 0 2500

N.S.

1 1.00 0.64 1.75 0.00 0.00 0.00 0.00 8.99

time (sec)

N/A 0.292 0.220 0.000 0.000 0.000 0.000 0.000 0.008

Problem 32

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) F(-1) F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

322 322 229 1166 0 0 0 523 2500

N.S.

1 1.00 0.71 3.62 0.00 0.00 0.00 1.62 7.76

time (sec)

N/A 0.338 0.340 0.000 0.000 0.000 0.000 0.781 19.397

Problem 33

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) A F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

363 361 252 1794 0 1347 0 1410 2500

N.S.

1 0.99 0.69 4.94 0.00 3.71 0.00 3.88 6.89

time (sec)

N/A 0.395 0.467 0.000 0.000 54.947 0.000 0.993 0.008

Problem 34

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A F(-1) A B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

87 151 74 137 100 73 0 105 318

N.S.

1 1.74 0.85 1.57 1.15 0.84 0.00 1.21 3.66

time (sec)

N/A 0.096 0.080 0.000 0.305 1.142 0.000 0.550 14.762

Problem 35

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B A C B A F(-1) A B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

52 135 63 120 90 61 0 80 312

N.S.

1 2.60 1.21 2.31 1.73 1.17 0.00 1.54 6.00

time (sec)

N/A 0.049 0.047 0.000 0.270 1.256 0.000 0.552 14.587

Problem 36

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B A C A A C A B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

55 135 69 95 56 73 240 71 118

N.S.

1 2.45 1.25 1.73 1.02 1.33 4.36 1.29 2.15

time (sec)

N/A 0.119 0.048 0.000 0.489 0.922 41.456 0.676 5.391

Problem 37

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B A C A A C A B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

55 135 69 96 56 82 216 83 118

N.S.

1 2.45 1.25 1.75 1.02 1.49 3.93 1.51 2.15

time (sec)

N/A 0.115 0.075 0.000 0.506 0.898 40.651 0.548 5.151

Problem 38

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A F(-1) B B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

83 129 60 103 61 69 0 145 316

N.S.

1 1.55 0.72 1.24 0.73 0.83 0.00 1.75 3.81

time (sec)

N/A 0.120 0.066 0.000 0.509 1.343 0.000 0.828 12.773

Problem 39

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A F(-1) B B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

116 171 71 123 86 90 0 197 304

N.S.

1 1.47 0.61 1.06 0.74 0.78 0.00 1.70 2.62

time (sec)

N/A 0.143 0.066 0.000 0.503 1.099 0.000 0.740 11.819

Problem 40

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

199 242 185 1095 0 1137 0 605 2500

N.S.

1 1.22 0.93 5.50 0.00 5.71 0.00 3.04 12.56

time (sec)

N/A 0.228 0.738 0.118 0.000 0.956 0.000 0.873 66.847

Problem 41

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) A F B F(-1)

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

1348 1345 1253 5734 0 3091 0 4708 -1

N.S.

1 1.00 0.93 4.25 0.00 2.29 0.00 3.49 -0.00

time (sec)

N/A 1.517 6.931 0.099 0.000 4.195 0.000 1.220 0.000

Problem 42

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) A F B F(-1)

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

721 719 662 3025 0 1621 0 2643 -1

N.S.

1 1.00 0.92 4.20 0.00 2.25 0.00 3.67 -0.00

time (sec)

N/A 0.615 3.408 0.099 0.000 1.842 0.000 0.959 0.000

Problem 43

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) A F B F(-1)

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

330 330 283 1207 0 845 0 1103 -1

N.S.

1 1.00 0.86 3.66 0.00 2.56 0.00 3.34 -0.00

time (sec)

N/A 0.198 0.997 0.098 0.000 1.204 0.000 1.004 0.000

Problem 44

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) F(-1) F F(-2) F(-1)

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

450 453 404 3898 0 0 0 0 -1

N.S.

1 1.01 0.90 8.66 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.913 2.009 0.102 0.000 0.000 0.000 0.000 0.000

Problem 45

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) F(-1) F B F(-1)

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

521 521 358 4680 0 0 0 1585 -1

N.S.

1 1.00 0.69 8.98 0.00 0.00 0.00 3.04 -0.00

time (sec)

N/A 1.137 2.841 0.104 0.000 0.000 0.000 2.274 0.000

Problem 46

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) F(-1) F(-1) B F(-1)

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

658 657 536 11204 0 0 0 8347 -1

N.S.

1 1.00 0.81 17.03 0.00 0.00 0.00 12.69 -0.00

time (sec)

N/A 1.753 7.456 0.112 0.000 0.000 0.000 7.150 0.000

Problem 47

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) A F(-1) A F(-1)

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

1032 1032 888 3958 0 2173 0 1505 -1

N.S.

1 1.00 0.86 3.84 0.00 2.11 0.00 1.46 -0.00

time (sec)

N/A 1.125 7.440 0.113 0.000 2.654 0.000 1.167 0.000

Problem 48

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) A F(-1) A F(-1)

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

540 540 454 2002 0 1117 0 736 -1

N.S.

1 1.00 0.84 3.71 0.00 2.07 0.00 1.36 -0.00

time (sec)

N/A 0.450 2.870 0.102 0.000 1.630 0.000 0.833 0.000

Problem 49

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

246 246 199 763 0 581 0 315 1832

N.S.

1 1.00 0.81 3.10 0.00 2.36 0.00 1.28 7.45

time (sec)

N/A 0.151 0.890 0.099 0.000 1.771 0.000 0.827 90.550

Problem 50

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) F(-1) F F(-2) F(-1)

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

290 290 367 1822 0 0 0 0 -1

N.S.

1 1.00 1.27 6.28 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.456 10.425 0.105 0.000 0.000 0.000 0.000 0.000

Problem 51

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) F(-1) F B F(-1)

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

364 364 421 3670 0 0 0 1388 -1

N.S.

1 1.00 1.16 10.08 0.00 0.00 0.00 3.81 -0.00

time (sec)

N/A 0.725 10.702 0.105 0.000 0.000 0.000 2.218 0.000

Problem 52

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) F(-1) F(-1) B F(-1)

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

484 484 693 9100 0 0 0 8004 -1

N.S.

1 1.00 1.43 18.80 0.00 0.00 0.00 16.54 -0.00

time (sec)

N/A 1.050 11.946 0.105 0.000 0.000 0.000 26.354 0.000

Problem 53

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) F(-1) F(-1) B F(-1)

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

685 685 847 15990 0 0 0 25485 -1

N.S.

1 1.00 1.24 23.34 0.00 0.00 0.00 37.20 -0.00

time (sec)

N/A 1.219 11.897 0.105 0.000 0.000 0.000 67.226 0.000

Problem 54

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) A F A F(-1)

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

718 715 632 2528 0 1441 0 951 -1

N.S.

1 1.00 0.88 3.52 0.00 2.01 0.00 1.32 -0.00

time (sec)

N/A 0.864 2.559 0.102 0.000 3.734 0.000 1.328 0.000

Problem 55

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

371 369 314 1199 0 729 0 447 2500

N.S.

1 0.99 0.85 3.23 0.00 1.96 0.00 1.20 6.74

time (sec)

N/A 0.330 1.065 0.106 0.000 2.078 0.000 1.075 105.189

Problem 56

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

164 164 141 425 0 391 0 194 833

N.S.

1 1.00 0.86 2.59 0.00 2.38 0.00 1.18 5.08

time (sec)

N/A 0.103 0.398 0.102 0.000 1.110 0.000 0.886 25.888

Problem 57

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) F(-1) F F(-2) F(-1)

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

188 188 183 746 0 0 0 0 -1

N.S.

1 1.00 0.97 3.97 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.221 0.651 0.124 0.000 0.000 0.000 0.000 0.000

Problem 58

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) F(-1) F B F(-1)

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

254 254 249 2973 0 0 0 1356 -1

N.S.

1 1.00 0.98 11.70 0.00 0.00 0.00 5.34 -0.00

time (sec)

N/A 0.422 1.478 0.104 0.000 0.000 0.000 2.056 0.000

Problem 59

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) B F(-1) B F(-1)

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

424 424 420 7119 0 4038 0 8019 -1

N.S.

1 1.00 0.99 16.79 0.00 9.52 0.00 18.91 -0.00

time (sec)

N/A 0.625 3.543 0.106 0.000 207.909 0.000 50.496 0.000

Problem 60

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) F(-1) F(-1) B F(-1)

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

826 826 1036 18802 0 0 0 25778 -1

N.S.

1 1.00 1.25 22.76 0.00 0.00 0.00 31.21 -0.00

time (sec)

N/A 1.603 10.287 0.179 0.000 0.000 0.000 92.839 0.000

Problem 61

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

1182 1154 1362 14778 0 1910 0 0 -1

N.S.

1 0.98 1.15 12.50 0.00 1.62 0.00 0.00 -0.00

time (sec)

N/A 2.789 35.442 0.111 0.000 0.568 0.000 0.000 0.000

Problem 62

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

774 769 917 9543 0 1391 0 0 -1

N.S.

1 0.99 1.18 12.33 0.00 1.80 0.00 0.00 -0.00

time (sec)

N/A 1.421 29.166 0.108 0.000 0.431 0.000 0.000 0.000

Problem 63

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

706 706 633 5787 0 1458 0 0 -1

N.S.

1 1.00 0.90 8.20 0.00 2.07 0.00 0.00 -0.00

time (sec)

N/A 1.241 25.756 0.122 0.000 0.798 0.000 0.000 0.000

Problem 64

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

687 687 815 15769 0 2584 0 0 -1

N.S.

1 1.00 1.19 22.95 0.00 3.76 0.00 0.00 -0.00

time (sec)

N/A 1.264 29.814 0.120 0.000 0.373 0.000 0.000 0.000

Problem 65

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

964 964 1444 34620 0 4721 0 0 -1

N.S.

1 1.00 1.50 35.91 0.00 4.90 0.00 0.00 -0.00

time (sec)

N/A 2.016 34.138 0.146 0.000 0.619 0.000 0.000 0.000

Problem 66

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

1716 1716 15719 65231 0 9152 0 0 -1

N.S.

1 1.00 9.16 38.01 0.00 5.33 0.00 0.00 -0.00

time (sec)

N/A 4.548 36.521 0.239 0.000 0.614 0.000 0.000 0.000

Problem 67

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

1235 1235 12483 15736 0 1925 0 0 -1

N.S.

1 1.00 10.11 12.74 0.00 1.56 0.00 0.00 -0.00

time (sec)

N/A 2.833 35.877 0.111 0.000 0.525 0.000 0.000 0.000

Problem 68

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

766 766 922 10268 0 1388 0 0 -1

N.S.

1 1.00 1.20 13.40 0.00 1.81 0.00 0.00 -0.00

time (sec)

N/A 1.283 28.927 0.109 0.000 0.500 0.000 0.000 0.000

Problem 69

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

527 527 562 6049 0 1036 0 0 -1

N.S.

1 1.00 1.07 11.48 0.00 1.97 0.00 0.00 -0.00

time (sec)

N/A 0.654 26.851 0.108 0.000 0.455 0.000 0.000 0.000

Problem 70

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

540 540 551 5320 0 1331 0 0 -1

N.S.

1 1.00 1.02 9.85 0.00 2.46 0.00 0.00 -0.00

time (sec)

N/A 0.724 24.774 0.117 0.000 0.540 0.000 0.000 0.000

Problem 71

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

597 596 724 15372 0 2420 0 0 -1

N.S.

1 1.00 1.21 25.75 0.00 4.05 0.00 0.00 -0.00

time (sec)

N/A 0.923 28.495 0.131 0.000 0.397 0.000 0.000 0.000

Problem 72

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

1034 1034 1449 36158 0 4859 0 0 -1

N.S.

1 1.00 1.40 34.97 0.00 4.70 0.00 0.00 -0.00

time (sec)

N/A 2.095 33.759 0.164 0.000 0.520 0.000 0.000 0.000

Problem 73

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

838 831 1000 9580 0 1387 0 0 -1

N.S.

1 0.99 1.19 11.43 0.00 1.66 0.00 0.00 -0.00

time (sec)

N/A 1.374 29.656 0.109 0.000 0.426 0.000 0.000 0.000

Problem 74

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

528 524 615 5221 0 1036 0 0 -1

N.S.

1 0.99 1.16 9.89 0.00 1.96 0.00 0.00 -0.00

time (sec)

N/A 0.664 25.597 0.122 0.000 0.478 0.000 0.000 0.000

Problem 75

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

387 384 418 2505 0 808 0 0 -1

N.S.

1 0.99 1.08 6.47 0.00 2.09 0.00 0.00 -0.00

time (sec)

N/A 0.327 24.171 0.107 0.000 0.481 0.000 0.000 0.000

Problem 76

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

422 422 477 3763 0 1239 0 0 -1

N.S.

1 1.00 1.13 8.92 0.00 2.94 0.00 0.00 -0.00

time (sec)

N/A 0.445 23.714 0.121 0.000 0.336 0.000 0.000 0.000

Problem 77

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

642 642 699 13110 0 2343 0 0 -1

N.S.

1 1.00 1.09 20.42 0.00 3.65 0.00 0.00 -0.00

time (sec)

N/A 0.986 27.866 0.126 0.000 0.392 0.000 0.000 0.000

Problem 78

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

1116 1116 1520 32152 0 5104 0 0 -1

N.S.

1 1.00 1.36 28.81 0.00 4.57 0.00 0.00 -0.00

time (sec)

N/A 2.163 33.372 0.214 0.000 0.630 0.000 0.000 0.000

[front] [up]